OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: formal method



Results in the term's title:

·  formal methods


Results in the term's text:

·  EPROS
·  Formal Description Technique
·  Imperial Software Technology
·  referential transparency
·  safety-critical system
·  software reliability


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0477 Seconds, with 15 Database-Queries
Zurück zur Startseite